Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
Two weeks. I said I could do it in two weeks, and I did it.
两周。我说过我两周就能完成， 现在我做到了。
It is said it will clear up tonight.
天气预报说今晚雨就会停。
In our won solar system, for example, Venus is far too hot and Mars is far too cold to support life.
举例来说，在我们的太阳系里，对于生命来说，金星的温度太高，而火星的温度则太低。